Shape Conservation and Remnant Movement

Remnant movement is movement of an XP β from which extraction of α has taken place; cf. (1). This phenomenon has been argued to support a derivational approach to syntax (cf. Chomsky (1998)): Since remnant movement creates an unbound α trace that is separated from its antecedent by an XP in non-selected position (i.e., a barrier), the wellformedness of the resulting structure is unexpected under representational approaches that require proper binding of traces and check locality constraints at Sstructure; but nothing is wrong with (1) under a strictly derivational approach in which proper binding is replaced by strict cyclicity and locality is checked directly after each movement operation.